Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Automated High-Throughput Functional Protein Screening via Graph-Neural Network Enhanced Microfluidics
🧮Kolmogorov Complexity
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
OpenMMReasoner: Pushing the Frontiers for Multimodal Reasoning with an Open and General Recipe
arxiv.org·2d
🧮Theorem Proving
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.com·3d
⚙️Proof Engineering
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·20h
⚔️Lean Theorem
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
Set theory with types
🔤Type Theory
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
📄Text Chunking
Flag this post
Is Matrix Multiplication Ugly?
🔬Lean
Flag this post
No Deus ex Machina
🔩Systems Programming
Flag this post
Loading...Loading more...